axiomas que deben cumplirse en las estructuras